User - friendly process algebra compiler

While the technologies for generation of electronic signatures are well-established in public-key infrastructures, the validation of electronic signatures still shows some open problems. The verification of the validity of an electronic signature requires high degrees of diligence, time and effort for the local configuration and management of trusted certificates and their revocation status. A Signature Validation Portal should be designed and implemented which enables the effective verification of the validity of (qualified) certificates issued within several public-key infrastructures. It manages a collection of trusted (root) certificates and responds to validation requests by building and validating a path of certificates in due consideration of their current revocation status. Organization: DFKI Contact: Roland Vogt !"#$%&'()*+%,"-%&".$*/.(&%,*